Abstract type - PDFSEARCH.IO - Document Search Engine

Abstract type
Results: 1261

#	Item
491	Dependent Types: Easy as P IE Work-In-Progress Project Description Dimitrios Vytiniotis and Stephanie Weirich University of Pennsylvania Abstract Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:26 Type theory Data types Functional languages Formal methods Theoretical computer science Dependent type Lambda calculus Type system Generalized algebraic data type Programming language theory Software engineering Computing
492	On Set Intersection Representations of Graphs ∗ S. Jukna †‡ Abstract The intersection dimension of a bipartite graph with respect to a type L is the smallest number t for which it is possible to assign sets Ax ⊆ Add to Reading List Source URL: lovelace.thi.informatik.uni-frankfurt.de Language: English - Date: 2008-10-14 11:56:16 Bipartite graph Parity Clique Matching Adjacency matrix Intersection graph Complete bipartite graph Graph Bipartite dimension Graph theory Mathematics NP-complete problems
493	Inter Model Data Exchange of Type Information via a Common Type Hierarchy Andrew Smith and Peter McBrien Dept. Computing, Imperial College London, London SW7 2AZ Abstract. Data exchange between heterogeneous schemas is Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-04-24 08:56:42 Markup languages Technical communication Data management Data modeling Relational database management systems XML PostgreSQL Data model Database schema Computing Data Information
494	SQOWL: Type Inference in an RDBMS P.J. McBrien, N. Rizopoulos, and A.C. Smith Imperial College London⋆⋆ , 180 Queen’s Gate, London, UK Abstract. In this paper we describe a method to perform type inference over dat Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2010-10-14 06:14:18 SQL Data modeling Database management systems Ontology Database trigger Abox Insert Semantic reasoner Foreign key Data management Data Information
495	Rel AvOp Gulfstream G150 Revision 1 – Abstract English Add to Reading List Source URL: www2.anac.gov.br Language: English - Date: 2012-07-10 08:55:18 Flight simulator Pilot in command Private pilot licence ETOPS Full flight simulator Pilot licensing and certification Type rating Aviation Flight training Gulfstream G100
496	MeCC: Memory Comparison-based Clone Detector∗ Heejung Kim† , Yungbum Jung† , Sunghun Kim§ , Kwangkeun Yi† † Seoul National University, Seoul, Korea {hjkim,dreameye,kwang}@ropas.snu.ac.kr Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2012-06-14 09:36:59 Cross-platform software Data types Plagiarism Plagiarism detection C Type system Memory Abstract syntax tree Semantics Computing Software engineering Software
497	slide 1 gaius Stacks the behaviour of stack methods are to: Add to Reading List Source URL: floppsie.comp.glam.ac.uk Language: English - Date: 2015-02-04 11:33:45 Computing Subroutines Mathematics Abstract data type Stack-oriented programming language Stack Software engineering Algebraic stack
498	Motivation In this part of the course we’re examining several methods of higher-level program analysis. We have so far seen abstract interpretation and constraintbased analysis, two general frameworks for formally spec Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-02-28 06:00:00 Type theory Type systems Procedural programming languages Functional languages Program analysis Hindley–Milner ML Property Holomorphic functional calculus Software engineering Programming language theory Computing
499	Abstract A Type-Preserving Compiler Infrastructure Christopher Adam League Many kinds of networked devices receive and execute new programs from various sources. Since we may not fully trust the producers of these progra Add to Reading List Source URL: contrapunctus.net Language: English - Date: 2012-03-13 13:00:12 Cross-platform software Type theory Procedural programming languages Java bytecode Type system Java Programming language C Strong typing Computing Software engineering Software
500	tifact Our work includes the specification of the language via a bidirectional type system, which works “up-to-congruence,” and an algorithm for elaborating expressions in this language to an explicitly typed core l Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-10-29 14:48:47 Mathematical logic Symbol Unification First-order logic Motive Valuation Abstract algebra Algebraic geometry Mathematics

UPDATE